var posts=["2024/02/29/CDC/","2023/09/08/Gradle的安装和使用/","2023/09/07/Nio/","2024/02/29/SpringAOP/","2023/08/30/SpringIoc/"];function toRandomPost(){
    pjax.loadUrl('/'+posts[Math.floor(Math.random() * posts.length)]);
  };